package ast;

public class ActsFor extends Process {

	private Term t1;
	private Term t2;
	private Process process1;
	private Process process2;
	
	public ActsFor(Term trm1, Term trm2, Process proc1, Process proc2)
	{
		t1 = trm1;
		t2 = trm2;
		process1 = proc1;
		process2 = proc2;
	}
	
	public Term getT1() {
		return t1;
	}

	public Term getT2() {
		return t2;
	}

	public Process getProcess1() {
		return process1;
	}

	public Process getProcess2() {
		return process2;
	}

	public void setProcess1(Process process1) {
		this.process1 = process1;
	}

	public void setProcess2(Process process2) {
		this.process2 = process2;
	}

	public String toString(int indent)
	{
		String res = "";
		res += "acts_for(";
		res += t1.toString() + "," + t2.toString() + "): ";
		res += process1.toString(0);
		res += "else ";
		res += process2.toString(0);
		return res;
	}
	
}
